Note: Method for overcoming ductile failure in Münstedt-type extensional rheometers
نویسندگان
چکیده
منابع مشابه
Sub-extensional type theory
Martin-Löf’s type theory is the basis of a variety of formal systems underlying many proof assistants. There are a lot of variants of type theory, among which two classes can be identified: intensional and extensional type theory. The difference between the two lies in the manner in which the equality is dealt with, but this results in huge differences. Intensional type theory requires the user...
متن کاملDuctile Failure in High Strength Steel Sheets
Developments in computer-aided engineering and the rapid growth of computational power have made simulation-driven process and product development efficient and useful since it enables detailed evaluation of product designs and their manufacturing processes. In the context of a sheet metal component, it is vital to predict possible failure both during its forming process and its subsequent usag...
متن کاملDuctile Failure and Safety Optimization of Gas Pipeline
Safety and failure in gas pipelines are very important in gas and petroleum industry. For this reason, it is important to study the effect of different parameters in order to reach the maximum safety in design and application. In this paper, a three dimensional finite element analysis is carried out to study the effect of crack length, crack depth, crack position, internal pressure and pipe thi...
متن کاملPractical verification of ductile failure curves
• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version ...
متن کاملExtensional Equality in Intensional Type Theory
We present a new approach to introducing an extensional propositional equality in Intensional Type Theory. Our construction is based on the observation that there is a sound, intensional setoid model in Intensional Type theory with a proof-irrelevant universe of propositions and -rules for and -types. The Type Theory corresponding to this model is decidable, has no irreducible constants and per...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Rheology
سال: 2009
ISSN: 0148-6055,1520-8516
DOI: 10.1122/1.3109574